منابع مشابه
KAMP: Karlsruhe Architectural Maintainability Prediction
In their lifetime software systems usually need to be adapted in order to fit in a changing environment or to cover new required functionality. The effort necessary for implementing changes is related to the maintainability of the software system. Therefore, maintainability is an important quality aspect of software systems. Today Software Architecture plays an important role in achieving softw...
متن کاملArjan Kamp: Intevep meeting minutes
1. Opening....................................................................................................................... 1 2. Presentation Paul Hammond ........................................................................................ 2 3. Presentation of Adolfo Rodriguez................................................................................ 6 4. Presentation of Arjan Ka...
متن کاملBüchi-Kamp Theorems for 1-clock ATA
This paper investigates Kamp-like and Büchi-like theorems for 1-clock Alternating Timed Automata (1-ATA) and its natural subclasses. A notion of 1-ATA with loop-free-resets is defined. This automaton class is shown to be expressively equivalent to the temporal logic RatMTL which is MTL[FI] extended with a regular expression guarded modality. Moreover, a subclass of future timed MSO with k-varia...
متن کاملThe Pi Mu Epsilon 100 Th Anniversary Problems : Part I
STEVEN J. MILLER∗, JAMES M. ANDREWS† , AND AVERY T. CARR‡ As 2013 marks the 100 anniversary of Pi Mu Epsilon, we thought it would be fun to celebrate with 100 problems related to important mathematics milestones of the past century. The problems and notes below are meant to provide a brief tour through some of the most exciting and influential moments in recent mathematics. No list can be compl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tidsskrift for Den norske legeforening
سال: 2013
ISSN: 0029-2001
DOI: 10.4045/tidsskr.13.0367